@article{1,
author = {A., Arsanjani and S., Ghosh, and A., Allam and T., Abdollah and S., Ganapathy and K., Holley},
journal = {IBM System Journal},
number = {3},
title = {{SOMA: A method for developing service-oriented solutions}},
volume = {47},
year = {2008}
}

@inproceedings{2,
author = {A., Brown  et. al},
booktitle = {Rational Software},
title = {{SOA Development Using the IBM Rational Software Development Platform: A Practical Guide}},
year = {2005}
} 
@Misc{watson,
  OPTkey = 	 {},
  author = 	 {A. Watson},
  title = 	 {A Brief History of {MDA}},
  volume = {IX},
  number = {2},
  year = {2008},
  OPThowpublished = {},
  OPTmonth = 	 {},
  OPTyear = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{5,
author = {M. Papazoglou and P. Traverso and S. Dustdar and F. Leymann},
journal = {IEEE Computer},
number = {11},
title = {{Service-Oriented Computing: State of the Art and Research Challenges}},
volume = {40},
year = {2007}
}
@book{bell,
author = {M. Bell},
editor = {Wiley, New Jersey},
title = {{Service-Oriented Modeling:  Service Analysis, Design, and Architecture}},
year = {2008}
}
@TechReport{owl04,
  author = 	 {Sean Bechhofer and Frank van Harmelen and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
  title = 	 {OWL Web Ontology Language},
  institution =  {W3C - http://www.w3.org/TR/owl-ref/},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {}, 
  OPTnumber = 	 {},
  OPTaddress = 	 {}, 
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{wsci,
  author = 	 {Assaf Arkin and Sid Askary and Scott Fordin and Wolfgang Jekeli and Kohsuke Kawaguchi and David
Orchard and Stefano Pogliani and Karsten Riemer and Susan Struble and Pal Takacsi-Nagy and Ivana
Trickovic and Sinisa Zimek},
  title = 	 {Web service choreography interface},
  institution =  {World Wide Web Consortium},
  year = 	 {2002},
  OPTkey = 	 {}, 
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{xlang,
  author = 	 {S. Thatte},
  title = 	 {XLANG: Web Services for Business Process Design},
  OPTinstitution =  {Institution},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{uddi,
  author = 	 {Ariba Inc. and IBM Corp. and and Microsoft Corp},
  title = 	 {Universal Description, Discovery, and Integration (UDDI)},
  institution =  {UDDI.org}, 
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{soap,
  author = 	 {Don Box and David Ehnebuske and Gopal Kakivaya and Andrew Layman and Noah Mendelsohn and
Henrik Frystyk Nielsen and Satish Thatte and Dave Winer},
  title = 	 {Simple Object Access Protocol
(SOAP)},
  institution =  {World Wide Web Consortium},
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}



@TechReport{wsdl, 
  author = 	 {Erik Christensen and Francisco Curbera and Greg Meredith and Sanjiva Weerawarana},
  title = 	 {Web Services Description Language (WSDL) 1.1},
  institution =  {World Wide Web Consortium},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note = 	 {Disponível em http://www.w3.org/TR/wsdl},
  OPTannote = 	 {}
}


@TechReport{UML,
  author = 	 {OMG},
  title = 	 {OMG Unified Modeling LanguageTM (OMG UML), Infrastructure. Version 2.4.1},
  institution =  {OMG},
  year = 	 {2011},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  month = 	 {August},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@ARTICLE{Gordijn02valuebased,
    author = {Jaap Gordijn and Hans Akkermans},
    title = {Value Based Requirements Engineering: Exploring Innovative e-Commerce Ideas},
    journal = {REQUIREMENTS ENGINEERING JOURNAL},
    year = {2002},
    volume = {8},
    pages = {114--134}
}

@inproceedings{Dhyanesh003,
 author = {Dhyanesh, N. and Vineel, G. C. and Raghavan, S. V.},
 title = {DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises},
 booktitle = {Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises},
 series = {WETICE '03},
 year = {2003},
 isbn = {0-7695-1963-6},
 pages = {12--},
 url = {http://dl.acm.org/citation.cfm?id=938984.939782},
 acmid = {939782},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}  

@inproceedings{BHM06,
  author    = {Cheikh Ba and
               Mirian {Halfeld Ferrari} and
               Martin A. Musicante},
  title     = {Composing Web Services with {PEWS}: A Trace-Theoretical Approach.},
  booktitle = {IEEE European Conference on Web Services (ECOWS)},
  year      = {2006},
  pages     = {65-74},
  OPTee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
  OPTcrossref  = {DBLP:conf/ecows/2006},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de},
}

@inproceedings{ABM01,
  author = "S. Abiteboul and O. Benjelloun and T. Milo",
  title =  "Towards a Flexible Model for Data and Web Services Integration",
  booktitle = "proc. Internat. Workshop on Foundations of Models and Languages for Data and Objects",
  year =   "2001",
 }
@inproceedings{PiresBM02,  
  author    = {Paulo F. Pires and
               Mario R. F. Benevides and
               Marta Mattoso},
  title     = {Building Reliable Web Services Compositions},
  booktitle = {Web, Web-Services, and Database Systems},
  year      = {2002},
  pages     = {59-72},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2593/25930059.htm},
  crossref  = {DBLP:conf/jit/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{MendesPDB09,
  author    = {Reginaldo Mendes and
               Paulo F. Pires and
               Fl{\'a}via Coimbra Delicato and
               Tha\'{\i}s Vasconcelos Batista},
  title     = {WebFlowAH: an environment for ad-hoc specification and execution
               of web services-based processes},
  booktitle = {SAC},
  year      = {2009},
  pages     = {692-693},
  ee        = {http://doi.acm.org/10.1145/1529282.1529426},
  crossref  = {DBLP:conf/sac/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 
@Misc{choreoWG,
  author = 	 {Daniel Austin and Abbie Barbir and Ed Peters and Steve Ross-Talbot},
  title = 	 {Web Services Choreography Requirements},
  month = 	 {March},
  year = 	 {2004},
  note = 	 {W3C Working Draft},
  howpublished = {Available at {http://www.w3.org/TR/2004/WD-ws-chor-reqs-20040311/}},
  OPTannote = 	 {}
}


@article{Aal03,
	author =	"W. M. P. van der Aalst ",
	title =		"Don't go with the flow: Web services compositions standards exposed",
	journal =	"Issue of IEEE Inteligent System",
	month= 		"Jan/Feb",
	year = 		"2003",
}

@article{AalstHKB03,
  author    = {Wil M. P. van der Aalst and
               Arthur H. M. ter Hofstede and
               Bartek Kiepuszewski and
               Alistair P. Barros},
  title     = {Workflow Patterns},
  journal   = {Distributed and Parallel Databases},
  volume    = {14},
  number    = {1},
  year      = {2003},
  pages     = {5-51},
  ee        = {http://dx.doi.org/10.1023/A:1022883727209},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{burdy:05,
  author = {L. Burdy and Y. Cheon and D. R. Cok and M. D. Ernst
	and J. R. Kiniry and G. T. Leavens and K. R. M. Leino
	and E. Poll},
  title = {An overview of {JML} tools and applications},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  year = {2005},
  volume = {7},
  pages = {212--232},
  number = {3},
  abstract = {The Java Modeling Language (JML) can be used to specify the detailed
	design of Java classes and interfaces by adding annotations to Java
	source files. The aim of JML is to provide a specification language
	that is easy to use for Java programmers and that is supported by
	a wide range of tools for specification typechecking, runtime debugging,
	static analysis, and verification.This paper gives an overview of
	the main ideas behind JML, details about JML's wide range of tools,
	and a glimpse into existing applications of JML.},
  address = {Berlin, Heidelberg},
  doi = {10.1007/s10009-004-0167-4},
  doi-url = {http://dx.doi.org/10.1007/s10009-004-0167-4},
  publisher = {Springer-Verlag}
}

@inproceedings{GGP08,
  author    = {Giuseppe Castagna and  Nils Gesbert and                Luca Padovani},
  title     = {A theory of contracts for web services},
  booktitle = {POPL},
  year      = {2008},
  pages     = {261-272},
  ee        = {http://doi.acm.org/10.1145/1328438.1328471},
  OPTcrossref  = {DBLP:conf/popl/2008},
  OPTbibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{AlH01,
  author    = {Luca de Alfaro and
               Thomas A. Henzinger},
  title     = {Interface automata.},
  booktitle = {ESEC / SIGSOFT FSE},
  year      = {2001},
  pages     = {109-120},
  ee        = {http://doi.acm.org/10.1145/503209.503226},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{HamadiB03, 
  author    = {Rachid Hamadi and
               Boualem Benatallah},
  title     = {A Petri Net-based Model for Web Service Composition},
  booktitle = {ADC},
  year      = {2003},
  pages     = {191-200},
  ee        = {http://crpit.com/confpapers/CRPITV17Hamadi.pdf},
  crossref  = {DBLP:conf/adc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@InProceedings{VA05,
  author = 	 {H. M. W. Verbeek and W. M. P. van der Aalst},
  title = 	 {Analyzing {BPEL} Processes using {{P}etri} Nets},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the Second International Workshop on Applications of {{P}etri} Nets to Coordination, Workflow and Business Process Management},
  pages = 	 {59-78},
  year = 	 {2005},
  editor = 	 {D. Marinescu},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Miami, Florida, USA},
  OPTmonth = 	 {},
  organization = {Florida International University},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@techreport{BHM06rep,
	author =	"Cheikh Ba and Mirian {Halfeld Ferrari} and Martin Musicante",
	title =		"{PEWS}",
	year = 		"2006",
	institution =	"Laboratoire d'informatique (LI) de l'Universit� Fran�ois-Rabelais de Tours",
	number =	"{To appear}",
}

@Article{MuP06,
  author =     "M. Musicante and E. Potrich",
  title =      "Expressing Workflow Patterns for Web Services: The case of {PEWS}",
  abstract =   "PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web   services. Individual web services can be built up from Java programs.   Composed web services are built from simpler services.   PEWS operators describe the allowed workflow of the web service, \ie  the \textit{order} in which the operations of the web service   will be executed.  In this paper we analyze  the expressiveness of PEWS programs. This is done   by the systematic evaluation of the language. Our evaluation is based on a   framework composed by workflow patterns. We also compare PEWS with other   interface description languages. This comparison is based on the workflow   behavior of the languages.  ",
  journal =    j-jucs,
  year =       "2006",
  volume =     "12",
  number =     "9",
  OPTpages =       "",
  month =      "september",
 }
 
@article{AalstHKB03,
  author    = {Wil M. P. van der Aalst and
               Arthur H. M. ter Hofstede and
               Bartek Kiepuszewski and
               Alistair P. Barros},
  title     = {Workflow Patterns},
  journal   = {Distributed and Parallel Databases},
  volume    = {14},
  number    = {1},
  year      = {2003},
  pages     = {5-51},
  ee        = {http://dx.doi.org/10.1023/A:1022883727209},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 @inproceedings{BianculliGSBG07,
   author    = {Domenico Bianculli and
                Carlo Ghezzi and
                Paola Spoletini and
                Luciano Baresi and
                Sam Guinea},
   title     = {A Guided Tour through SAVVY-WS: A Methodology for Specifying
                and Validating Web Service Compositions},
   booktitle = {Lipari Summer School},
   year      = {2007},
   pages     = {131-160},
   ee        = {http://dx.doi.org/10.1007/978-3-540-89762-0_5},
   crossref  = {DBLP:conf/lipari/2007},
   bibsource = {DBLP, http://dblp.uni-trier.de}
 }
 
@proceedings{lipari2007,
  editor    = {Egon B{\"o}rger and
               Antonio Cisternino},
  title     = {Advances in Software Engineering, Lipari Summer School 2007,
               Lipari Island, Italy, July 8-21, 2007, Revised Tutorial
               Lectures},
  booktitle = {Lipari Summer School},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5316},
  year      = {2008},
  isbn      = {978-3-540-89761-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SBS04,
    author ={Gwen Sala\"un and Lucas Bordeaux and  Marco Schaerf},
    title = {Describing and Reasoning on Web Services using Process Algebra},
    booktitle =	"Proceeding of the 2nd International Conference on Web Services, IEEE",
    year = "2004",
}

@Misc{Martin04,
author = {Martin, D and Burstein, M and Hobbs, J and Lassila, O and McDermott, D and McIlraith, S and Narayanan, S and Paolucci, M and Parsia, B and Payne, T and others},
title = {OWL-S: Semantic Markup for Web Services},
howpublished = {W3C Member Submission 22},
OPTmonth = {month},
year = {2004},
OPTnote = {note},
OPTannote = {annote},
}

@misc{wscl02,
	author ="Arindam Banerji  and Claudio Bartolini and Dorothea Beringer and Venkatesh Chopella and Kannan Govindarajan and Alan Karp and Harumi Kuno and Mike Lemon and Gregory Pogossiants and Shamik Sharma and Scott Williams",
	title =		"Web Services Conversation Language (WSCL) 1.0",
	howpublished =	"Available at {http://www.w3.org/TR/2002/NOTE-wscl10-20020314/}",
	year= 		"2002",
}

@inproceedings{MPC08,
  author    = {Martin A. Musicante and
               Edinardo Potrich and
               Marcos Aur{\'e}lio Carrero},
  title     = {A programming environment for web services},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2363-2367},
  ee        = {http://doi.acm.org/10.1145/1363686.1364249},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{bpel03,
	author =	"Tony Andrews and Francisco Curbera and Hitesh Dholakia and Yaron Goland and Johannes Klein and Frank Leymann and Kevin Liu and Didier Roller and Doug Smith and Satish Thatte and Ivana Trickovic and Sanjiva Weeranwarana",    
	title =		"Bussiness Process Execution Language for Web Services", 
	howpublished =	"Available at {http://www-128.ibm.com/developerworks/library/specification/ws-bpel/}",
	year= 		"2003",
}

@article{TongrungrojanaL04,
  author    = {Rachatrin Tongrungrojana and
               David Lowe},
  title     = {WIED: A Web Modelling Language for Modelling Architectural-Level
               Information Flows},
  journal   = {J. Digit. Inf.},
  volume    = {5},
  number    = {2},
  year      = {2004},
  ee        = {http://journals.tdl.org/jodi/article/view/139},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{scube2010book,
  editor    = {Mike P. Papazoglou and
               Klaus Pohl and
               Michael Parkin and
               Andreas Metzger},
  title     = {Service Research Challenges and Solutions for the Future
               Internet - S-Cube - Towards Engineering, Managing and Adapting
               Service-Based Systems},
  booktitle = {S-CUBE Book},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6500},
  year      = {2010},
  isbn      = {978-3-642-17598-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-17599-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }
@article{Kitchenham08,
  author    = {Barbara A. Kitchenham and
               Hiyam Al-Kilidar and
               Muhammad Ali Babar and
               Mike Berry and
               Karl Cox and
               Jacky Keung and
               Felicia Kurniawati and
               Mark Staples and
               He Zhang and
               Liming Zhu},
  title     = {Evaluating guidelines for reporting empirical software engineering
               studies},
  journal   = {Empirical Software Engineering},
  volume    = {13},
  number    = {1},
  year      = {2008},
  pages     = {97-121},
  ee        = {http://dx.doi.org/10.1007/s10664-007-9053-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BiolchiniMNCT07,
  author    = {Jorge Calmon de Almeida Biolchini and
               Paula Gomes Mian and
               Ana Candida Cruz Natali and
               Tayana Uch{\^o}a Conte and
               Guilherme Horta Travassos},
  title     = {Scientific research ontology to support systematic review
               in software engineering},
  journal   = {Advanced Engineering Informatics},
  volume    = {21},
  number    = {2},
  year      = {2007},
  pages     = {133-151},
  ee        = {http://dx.doi.org/10.1016/j.aei.2006.11.006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Yeom2006,
 author = {Yeom, Gwyduk and Yun, Taewoong and Min, Dugki},
 title = {QoS Model and Testing Mechanism for Quality-driven Web Services Selection},
 booktitle = {Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)},
 year = {2006},
 isbn = {0-7695-2560-1},
 pages = {199--204},
 numpages = {6},
 url = {http://dl.acm.org/citation.cfm?id=1128019.1128551},
 doi = {10.1109/SEUS-WCCIA.2006.34},
 acmid = {1128551},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 

@INPROCEEDINGS{Babamir2010,
author={Babamir, S.M. and Karimi, S. and Shishechi, M.R.},
booktitle={Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on},
title={A Broker-Based Architecture for Quality-Driven Web Services Composition},
year={2010},
month={dec.},
volume={},
number={},
pages={1 -4},
keywords={Web services;broker based architecture;business process;dynamic service integration;dynamic service selection;quality of service;user preference;Web services;business data processing;quality of service;software architecture;},
doi={10.1109/CISE.2010.5676854},
ISSN={},}


@inproceedings{XiaoCZBOLH08,
  author    = {Hua Xiao and
               Brian Chan and
               Ying Zou and
               Jay W. Benayon and
               Bill O'Farrell and
               Elena Litani and
               Jen Hawkins},
  title     = {A Framework for Verifying SLA Compliance in Composed Services},
  booktitle = {ICWS},
  year      = {2008},
  pages     = {457-464},
  ee        = {http://dx.doi.org/10.1109/ICWS.2008.26},
  crossref  = {DBLP:conf/icws/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DAmbrogio06,
  author    = {Andrea D'Ambrogio},
  title     = {A Model-driven WSDL Extension for Describing the QoS ofWeb
               Services},
  booktitle = {ICWS},
  year      = {2006},
  pages     = {789-796},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.10},
  crossref  = {DBLP:conf/icws/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{CholletL09,
  author    = {St{\'e}phanie Chollet and
               Philippe Lalanda},
  title     = {An Extensible Abstract Service Orchestration Framework},
  booktitle = {ICWS},
  year      = {2009},
  pages     = {831-838},
  ee        = {http://dx.doi.org/10.1109/ICWS.2009.14},
  crossref  = {DBLP:conf/icws/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SchmelingCM11,
  author    = {Benjamin Schmeling and
               Anis Charfi and
               Mira Mezini},
  title     = {Composing Non-functional Concerns in Composite Web Services},
  booktitle = {ICWS},
  year      = {2011},
  pages     = {331-338},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2011.111},
  crossref  = {DBLP:conf/icws/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ThissenW06,
  author    = {Dirk Thi{\ss}en and 
               Pimjai Wesnarat},
  title     = {Considering QoS Aspects in Web Service Composition},
  booktitle = {ISCC},
  year      = {2006},
  pages     = {371-377},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISCC.2006.53},
  crossref  = {DBLP:conf/iscc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ieee_1998, 
 title={IEEE Recommended Practice for Software Requirements Specifications}, 
 volume={1998}, 
 url={http://www.citeulike.org/user/wnpx/article/1284144}, 
 number={October}, 
 journal={Practice}, 
 publisher={IEEE}, 
 author={Committee, Standards}, 
 pages={37}}
 
 @article{CysneirosLN01,
  author    = {Luiz Marcio Cysneiros and
               Julio Cesar Sampaio do Prado Leite and
               Jaime de Melo Sabat Neto},
  title     = {A Framework for Integrating Non-Functional Requirements
               into Conceptual Models},
  journal   = {Requir. Eng.},
  volume    = {6},
  number    = {2},
  year      = {2001},
  pages     = {97-115},
  ee        = {http://dx.doi.org/10.1007/s007660170008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CysneirosLN01,
  author    = {Luiz Marcio Cysneiros and
               Julio Cesar Sampaio do Prado Leite and
               Jaime de Melo Sabat Neto},
  title     = {A Framework for Integrating Non-Functional Requirements
               into Conceptual Models},
  journal   = {Requir. Eng.},
  volume    = {6},
  number    = {2},
  year      = {2001},
  pages     = {97-115},
  ee        = {http://dx.doi.org/10.1007/s007660170008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Cleland-HuangSZS06,
  author    = {Jane Cleland-Huang and
               Raffaella Settimi and
               Xuchang Zou and
               Peter Solc},
  title     = {The Detection and Classification of Non-Functional Requirements
               with Application to Early Aspects},
  booktitle = {RE},
  year      = {2006},
  pages     = {36-45},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/RE.2006.65},
  crossref  = {DBLP:conf/re/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Glinz05rethinkingthe,
    author = {Martin Glinz},
    title = {Rethinking the Notion of Non-Functional Requirements},
    booktitle = {in Proceedings of the Third World Congress for Software Quality (3WCSQ'05},
    year = {2005},
    pages = {55--64}
}

@book{sommerville08,
  author = 	 {Ian Sommerville},
  ALTeditor = 	 {Roger Trimer},
  title = 	 {Software Engineering 6th Edition},
  publisher = 	 {Addison Wesley},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{ZhangPSP05,
  author    = {Xinwen Zhang and
               Francesco Parisi-Presicce and
               Ravi S. Sandhu and
               Jaehong Park},
  title     = {Formal model and policy specification of usage control},
  journal   = {ACM Trans. Inf. Syst. Secur.},
  volume    = {8},
  number    = {4},
  year      = {2005},
  pages     = {351-387},
  ee        = {http://doi.acm.org/10.1145/1108906.1108908},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BasinDL06,
  author    = {David A. Basin and
               J{\"u}rgen Doser and
               Torsten Lodderstedt},
  title     = {Model driven security: From UML models to access control
               infrastructures},
  journal   = {ACM Trans. Softw. Eng. Methodol.},
  volume    = {15},
  number    = {1},
  year      = {2006},
  pages     = {39-91},
  ee        = {http://doi.acm.org/10.1145/1125808.1125810},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CeriDMF07,
  author    = {Stefano Ceri and
               Florian Daniel and
               Maristella Matera and
               Federico Michele Facca},
  title     = {Model-driven development of context-aware Web applications},
  journal   = {ACM Trans. Internet Techn.},
  volume    = {7},
  number    = {1},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1189740.1189742},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Fabra2011,
title = "Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches",
journal = "Journal of Systems and Software",
volume = "",
number = "0",
pages = " - ",
year = "2011",
note = "",
issn = "0164-1212",
doi = "10.1016/j.jss.2011.09.022",
url = "http://www.sciencedirect.com/science/article/pii/S0164121211002391",
author = "J. Fabra and V. De Castro and P. �lvarez and E. Marcos",
keywords = "Business processes",
keywords = "Model-driven Engineering",
keywords = "Model transformation",
keywords = "Model execution",
keywords = "Service-oriented development"
}

@article{ModicaTV09,
  author    = {Giuseppe Di Modica and
               Orazio Tomarchio and
               Lorenzo Vita},
  title     = {Dynamic SLAs management in service oriented environments},
  journal   = {Journal of Systems and Software},
  volume    = {82},
  number    = {5},
  year      = {2009},
  pages     = {759-771},
  ee        = {http://dx.doi.org/10.1016/j.jss.2008.11.010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{OvaskaEHPA10,
  author    = {Eila Ovaska and
               Antti Evesti and
               Katja Henttonen and
               Marko Palviainen and
               Pekka Aho},
  title     = {Knowledge based quality-driven architecture design and evaluation},
  journal   = {Information {\&} Software Technology},
  volume    = {52},
  number    = {6},
  year      = {2010},
  pages     = {577-601},
  ee        = {http://dx.doi.org/10.1016/j.infsof.2009.11.008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AgarwalLS09,
  author    = {Sudhir Agarwal and
               Steffen Lamparter and
               Rudi Studer},
  title     = {Making Web services tradable: A policy-based approach for
               specifying preferences on Web service properties},
  journal   = {J. Web Sem.},
  volume    = {7},
  number    = {1},
  year      = {2009},
  pages     = {11-20},
  ee        = {http://dx.doi.org/10.1016/j.websem.2008.02.001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{JeongCL09,
  author    = {Buhwan Jeong and
               Hyunbo Cho and
               Choonghyun Lee},
  title     = {On the functional quality of service (FQoS) to discover
               and compose interoperable web services},
  journal   = {Expert Syst. Appl.},
  volume    = {36},
  number    = {3},
  year      = {2009},
  pages     = {5411-5418},
  ee        = {http://dx.doi.org/10.1016/j.eswa.2008.06.087},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{PastranaPK11,
  author    = {Jose Luis Pastrana and
               Ernesto Pimentel and
               Miguel Katrib},
  title     = {QoS-enabled and self-adaptive connectors for Web Services
               composition and coordination},
  journal   = {Computer Languages, Systems {\&} Structures},
  volume    = {37},
  number    = {1},
  year      = {2011},
  pages     = {2-23},
  ee        = {http://dx.doi.org/10.1016/j.cl.2010.07.001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DiamadopoulouMPS08,
  author    = {Vassiliki Diamadopoulou and
               Christos Makris and
               Yannis Panagis and
               Evangelos Sakkopoulos},
  title     = {Techniques to support Web Service selection and consumption
               with QoS characteristics},
  journal   = {J. Network and Computer Applications},
  volume    = {31},
  number    = {2},
  year      = {2008},
  pages     = {108-130},
  ee        = {http://dx.doi.org/10.1016/j.jnca.2006.03.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GutierrezRF10,
  author    = {Carlos Guti{\'e}rrez and
               David G. Rosado and
               Eduardo Fern{\'a}ndez-Medina},
  title     = {The practical application of a process for eliciting and
               designing security in web service systems},
  booktitle = {JISBD},
  year      = {2010},
  pages     = {143-143},
  crossref  = {DBLP:conf/jisbd/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MohantyRP10,
  author    = {Ramakanta Mohanty and
               V. Ravi and
               Manas Ranjan Patra},
  title     = {Web-services classification using intelligent techniques},
  journal   = {Expert Syst. Appl.},
  volume    = {37},
  number    = {7},
  year      = {2010},
  pages     = {5484-5490},
  ee        = {http://dx.doi.org/10.1016/j.eswa.2010.02.063},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{soma,
  author = 	 {Ali Arsanjani},
  title = 	 {{SOMA:} {S}ervice-{O}riented {M}odeling and {A}rchitecture},
  institution =  {IBM},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {Disponível em <http://www.ibm.com/developerworks/library/ws-soa-design1/>},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{PapazoglouH06,
  author    = {Mike P. Papazoglou and
               Willem-Jan van den Heuvel},
  title     = {Service-oriented design and development methodology},
  journal   = {Int. J. Web Eng. Technol.},
  volume    = {2},
  number    = {4},
  year      = {2006},
  pages     = {412-442},
  ee        = {http://dx.doi.org/10.1504/IJWET.2006.010423},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{Gervais02,
  author    = {Marie-Pierre Gervais},
  title     = {Towards an MDA-Oriented Methodology},
  booktitle = {COMPSAC},
  year      = {2002},
  pages     = {265-270},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044561},
  crossref  = {DBLP:conf/compsac/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{somf,
  author = 	 {Michael Bell},
  OPTeditor = 	 {},
  title = 	 {Service-Oriented Modeling (SOA): Service Analysis, Design, and Architecture},
  publisher = 	 {John Wiley},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{cdl2006,
  author = 	 {Nikola Milanovic},
  title = 	 {Contract-based Web Service Composition},
  school = 	 {Humboldt-Universitat - Berlin},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{MilanovicM06,
  author    = {Nikola Milanovic and
               Miroslaw Malek},
  title     = {Search Strategies for Automatic Web Service Composition},
  journal   = {Int. J. Web Service Res.},
  volume    = {3},
  number    = {2},
  year      = {2006},
  pages     = {1-32},
  ee        = {http://www.igi-pub.com/articles/details.asp?ID=5964},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Milanovic06,
  author    = {Nikola Milanovic},
  title     = {Service Engineering Design Patterns},
  booktitle = {SOSE},
  year      = {2006},
  pages     = {19-26},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SOSE.2006.33},
  crossref  = {DBLP:conf/sose/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Milanovic05,
  author    = {Nikola Milanovic},
  title     = {Contract-Based Web Service Composition Framework with Correctness
               Guarantees},
  booktitle = {ISAS},
  year      = {2005},
  pages     = {52-67},
  ee        = {http://dx.doi.org/10.1007/11560333_5},
  crossref  = {DBLP:conf/isas/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{MilanovicM05,
  author    = {Nikola Milanovic and
               Miroslaw Malek},
  title     = {Architectural Support for Automatic Service Composition},
  booktitle = {IEEE SCC},
  year      = {2005},
  pages     = {133-140},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SCC.2005.30},
  crossref  = {DBLP:conf/IEEEscc/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{Papazoglou03,
  author    = {Mike P. Papazoglou},
  title     = {Service-{O}riented {C}omputing: {C}oncepts, {C}haracteristics and
               {D}irections},
  booktitle = {WISE},
  year      = {2003},
  pages     = {3-12},
  ee        = {http://csdl.computer.org/comp/proceedings/wise/2003/1999/00/19990003abs.htm},
  crossref  = {DBLP:conf/wise/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FeuerlichtM05,
  author    = {George Feuerlicht and
               Sooksathit Meesathit},
  title     = {Towards Software Development Methodology for Web Services},
  booktitle = {SoMeT},
  year      = {2005},
  pages     = {263-277},
  crossref  = {DBLP:conf/somet/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@MISC{Ramollari_asurvey,
    author = {Ervin Ramollari and Dimitris Dranidis and Anthony J. H. Simons},
    title = {A Survey of Service Oriented Development Methodologies},
    year = {}
}

@proceedings{somet2005,
  editor    = {Hamido Fujita and 
               Mohamed Mejri},
  title     = {New Trends in Software Methodologies, Tools and Techniques
               - Proceedings of the Fifth SoMeT 2005, September 28-30,
               2005, Tokyo, Japan},
  booktitle = {SoMeT},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {129},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{LeavensCCRC02,
  author    = {Gary T. Leavens and
               Yoonsik Cheon and
               Curtis Clifton and
               Clyde Ruby and
               David R. Cok},
  title     = {How the Design of JML Accomodates Both Runtime Assertion
               Checking and Formal Verification},
  booktitle = {FMCO},
  year      = {2002},
  pages     = {262-284},
  ee        = {http://dx.doi.org/10.1007/978-3-540-39656-7_11},
  crossref  = {DBLP:conf/fmco/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{HL05TACoS,
  AUTHOR = {R. Heckel and M. Lohmann},
  TITLE = {Towards Contract-based Testing of Web Services.},
  BOOKTITLE = { Proceedings of the International Workshop on Test and Analysis of
	Component Based Systems (TACoS 2004)},
  YEAR = {2005},
  EDITOR = {Mauro Pezz\'e},
  VOLUME = {116},
  PAGES = {145-156},
  EE = {http://dx.doi.org/10.1016/j.entcs.2004.02.073},
  JOURNAL = {Electr. Notes Theor. Comput. Sci.},
  PARTNER = {ULEICES},
  URL = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf}
}

@inproceedings{AbrialLNSS91,
  author = {Abrial, Jean-Raymond and Lee, Matthew K. O. and Neilson, David and Scharbach, P. N. and S�rensen, Ib Holm},
  editor = {Prehn, S�ren and Toetenel, W. J.},
  booktitle = {VDM Europe (2)},
  crossref = {conf/fm/1991-2},
  interhash = {3d3f41abe5c466a0bcb532757cb977a1},
  intrahash = {3ef54de458d697e758d5d3edeae6eea5},
  pages = {398-405},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {The B-Method.},
  OPTurl = {},
  volume = 552,
  year = 1991,
  timestamp = {2009-10-07T00:00:00.000+0200}, 
  keywords = {dblp},
  ee = {http://dx.doi.org/10.1007/BFb0020001},
  added-at = {2009-10-07T00:00:00.000+0200},
  description = {dblp},
  isbn = {3-540-54868-8},
  biburl = {http://www.bibsonomy.org/bibtex/23ef54de458d697e758d5d3edeae6eea5/dblp},
  date = {2009-10-07}
} 

@book{Stellman2005,
  author    = {Andrew Stellman and
               Jennifer Greene},
  title     = {Applied software project management},
  publisher = {O'Reilly},
  year      = {2005},
  isbn      = {978-0-596-00948-9},
  pages     = {I-XII, 1-308},
  ee        = {http://www.oreilly.de/catalog/appliedprojectmgmt/index.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@Article{ieeeDict,
  author = 	 {IEEE},
  title = 	 {IEEE Standard Computer Dictionary. A Compilation of IEEE Standard Computer Glossaries},
  journal = 	 {IEEE Std 610},
  year = 	 {1991},
  keywords={computer field;definitions;dictionary;glossary;glossaries;},
  doi={10.1109/IEEESTD.1991.106963},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {}, 
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@PhdThesis{valeriaThesis,
  author = 	 {Mar\'ia Valeria de Castro},
  title = 	 {Aproximac\'ion MDA para el Desarrollo Orientado a Servicios de Sistemas de Informac\'ion Web: Del Modelo de Negocio al Modelo de Composic\'ion
 de Servicios Web},
  school = 	 {Universidad Rey Juan Carlos - Escuela T\'ecnica Superior de Ingenier\'ia de Telecomunicaci\'on},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{CastroMV11,
  author    = {Valeria de Castro and
               Esperanza Marcos and
               Juan M. Vara},
  title     = {Applying CIM-to-PIM model transformations for the service-oriented
               development of information systems},
  journal   = {Information {\&} Software Technology},
  volume    = {53},
  number    = {1},
  year      = {2011},
  pages     = {87-105},
  ee        = {http://dx.doi.org/10.1016/j.infsof.2010.09.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 


@article{decastro1,
    author = "Valeria de Castro and Esperanza Marcos and Roel Wieringa",
    title = "Towards a service-oriented MDA-based approach to the alignment of business processes with IT systems: From the business model to a web service composition model",
    journal = "International Journal of Cooperative Information Systems",
    volume = "18",
    number = "2",
    year = "2009"
}

@inproceedings {Espinosa-Oviedo2011a,
	publisher = {IEEE},
	month = {July},
	address = {Washington, DC, USA},
	year = {2011},
	booktitle = {{I}n {P}roc. of the 8th {I}nt. {C}onference on {S}ervices {C}omputing ({SCC}'11), {W}ork-in-{P}rogress {T}rack},
	title = {{P}olicy driven services coordination for building social networks based applications},
	author = {Javier-Alfonso, Espinosa-Oviedo  and Genoveva, Vargas-Solar and  Jos\'e-Luis, Zechinelli-Martini and Christine, Collet}
}

@unpublished{miller,
author = {J. Miller and J. Mukerji},
title = {MDA Guide},
url  = {http://www.omg.org/cgi-bin/doc?omg/03-06-01},
number = {Version 1.0.1},
year = {2003}
}

@article{BichlerL06,
  author    = {Martin Bichler and
               Kwei-Jay Lin},
  title     = {Service-Oriented Computing},
  journal   = {IEEE Computer},
  volume    = {39},
  number    = {3},
  year      = {2006},
  pages     = {99-101},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.102},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BaAM06,   
  author    = {Cheikh, Ba and
               Mirian, Halfeld-Ferrari and
               Martin Alejandro, Musicante},
  title     = {Composing {W}eb {S}ervices with {PEWS}: {A} {T}race-{T}heoretical {A}pproach},
  booktitle = {ECOWS},
  year      = {2006},
  pages     = {65-74},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
  crossref  = {DBLP:conf/ecows/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{BaCAM05, 
  author    = {Cheikh, Ba and
               Marcos, Aur{\'e}lio Carrero and
               Mirian, Halfeld-Ferrari and
               Martin Alejandro, Musicante},
  title     = {{PEWS}: {A} {N}ew {L}anguage for {B}uilding {W}eb {S}ervice {I}nterfaces},
  journal   = {J. UCS},
  volume    = {11},
  number    = {7},
  year      = {2005}, 
  pages     = {1215-1233},
  ee        = {http://www.jucs.org/jucs_11_7/pews_a_new_language},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Article{Placido2010LTPD,
  author = 	 {Pl{\'a}cido A., Souza Neto and
  			  Martin Alejandro, Musicante and
  			  Genoveva, Vargas-Solar and
               Jos{\'e}-Luis, Zechinelli-Martini},
  title = 	 {Adding {C}ontracts to a {W}eb {S}ervice {C}omposition {L}anguage},
  journal = 	 {{LTPD} - 4th {W}orkshop on {L}anguages and {T}ools for {M}ultithreaded, {P}arallel and {D}istributed {P}rogramming},
  year = 	 {2010},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  month = 	 {September},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{Gervais02,
  author    = {Marie-Pierre, Gervais},
  title     = {Towards an MDA-Oriented Methodology},
  booktitle = {COMPSAC},
  year      = {2002},
  pages     = {265-270},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044561},
  crossref  = {DBLP:conf/compsac/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{soma,
  author = 	 {Ali, Arsanjani},
  title = 	 {{SOMA:} {S}ervice-{O}riented {M}odeling and {A}rchitecture},
  institution =  {IBM},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {Disponível em <http://www.ibm.com/developerworks/library/ws-soa-design1/>},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{sommerville08,
  author = 	 {Ian Sommerville},
  ALTeditor = 	 {Roger Trimer},
  title = 	 {Software Engineering 6th Edition},
  publisher = 	 {Addison Wesley},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{PapazoglouH06,
  author    = {Mike P., Papazoglou and
               Willem-Jan, van den Heuvel},
  title     = {Service-oriented design and development methodology},
  journal   = {Int. J. Web Eng. Technol.},
  volume    = {2},
  number    = {4},
  year      = {2006},
  pages     = {412-442},
  ee        = {http://dx.doi.org/10.1504/IJWET.2006.010423},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{Gervais02,
  author    = {Marie-Pierre, Gervais},
  title     = {Towards an MDA-Oriented Methodology},
  booktitle = {COMPSAC},
  year      = {2002},
  pages     = {265-270},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044561},
  crossref  = {DBLP:conf/compsac/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Book{somf,
  author = 	 {Michael, Bell},
  OPTeditor = 	 {},
  title = 	 {Service-Oriented Modeling (SOA): Service Analysis, Design, and Architecture},
  publisher = 	 {John Wiley},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{cdl2006,
  author = 	 {Nikola, Milanovic},
  title = 	 {Contract-based Web Service Composition},
  school = 	 {Humboldt-Universität zu Berlin},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{MilanovicM06,
  author    = {Nikola, Milanovic and
               Miroslaw, Malek},
  title     = {Search Strategies for Automatic Web Service Composition},
  journal   = {Int. J. Web Service Res.},
  volume    = {3},
  number    = {2},
  year      = {2006},
  pages     = {1-32},
  ee        = {http://www.igi-pub.com/articles/details.asp?ID=5964},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Allen83, 
  author    = {James F. Allen},
  title     = {Maintaining Knowledge about Temporal Intervals},
  journal   = {Commun. ACM},
  volume    = {26},
  number    = {11},
  year      = {1983},
  pages     = {832-843},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}  

@inproceedings{Espinosa-OviedoVZC09,
  author    = {Javier-Alfonso Espinosa-Oviedo and
               Genoveva Vargas-Solar and
               Jos{\'e}-Luis Zechinelli-Martini and
               Christine Collet},
  title     = {Non-functional properties and services coordination using
               contracts},
  booktitle = {IDEAS},
  year      = {2009},
  pages     = {307-310},
  ee        = {http://doi.acm.org/10.1145/1620432.1620467},
  crossref  = {DBLP:conf/ideas/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BeVaC00,
 author    = {Khalid Belhajjame and
              Christine Collet and
              Genoveva Vargas-Solar},
 title     = {A Flexible Workflow Model for Process-Oriented Applications},
 booktitle = {WISE (1)},
 year      = {2001},
 pages     = {72-}
}

@TechReport{atl_manual,
  author = 	 {ATLAS Group},
  title = 	 {ATL: Atlas Transformation Language},
  institution =  {ATLAS Group, LINA \& INRIA},
  year = 	 {February, 2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{acceleo,
  author = 	 {Jonathan Musset and Etienne Juliot and St\'ephane Lacrampe},
  title = 	 {Acceleo R\'ef\'erence},
  institution =  {Obeo et Acceleo},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}